_require "096_providefun2.smi"
functor F (
  A : sig
    type t = S.t
  end
) =
struct
end
